Видео с ютуба Lean Proof Checker

Infinitude of primes --- a Lean theorem prover demo

Automated Mathematical Proofs - Computerphile

10 minute Lean tutorial : proving logical propositions

Introductory Proof with Lean 4 - Natural Numbers

How to learn Lean programming language | Terence Tao and Lex Fridman

Atticus Kuhn - Verification of model-checking techniques in Lean (Lean Together 2026)

Is This the End of Handwritten Math? Introducing Lean

IMO 1987 Problem 4: Animated Lean 4 Proof

Как Claude и Lean 4 с помощью машинной проверки доказали сложнейшую математическую теорему в истории

Let's code math | Lean4 | Theorem prover

Как математики могут начать использовать Lean

Week 1 - Lean: A Practical Introduction

What Is Lean? The Proof Checker Behind AI's Math Breakthroughs

Введение в метод доказательства теорем Lean | Якоб фон Раумер (Lindy Labs) - DSS 101 2024

Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender

What Does Lean 4 Actually Prove? — And How to Read Its Notation (Episodes 1–2)

Что математикам стоит знать о Lean: надежность и ИИ